Chain Properties of Rule

نویسنده

  • Miki HERMANN
چکیده

This article presents an introduction to the generalization of the crossed rule approach to the detection of KnuthhBendix completion procedure divergence. It introduces the closure chains, which are special rule closures constructed by means of particular substitution operations and operators, as a suitable formalism for a progress in this direction. Supporting substitution algebra is developed rst, followed by considerations concerning rule closures in general, and concluded by investigation of closure chain properties.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ADK Entropy and ADK Entropy Rate in Irreducible- Aperiodic Markov Chain and Gaussian Processes

In this paper, the two parameter ADK entropy, as a generalized of Re'nyi entropy, is considered and some properties of it, are investigated. We will see that the ADK entropy for continuous random variables is invariant under a location and is not invariant under a scale transformation of the random variable. Furthermore, the joint ADK entropy, conditional ADK entropy, and chain rule of this ent...

متن کامل

SOME FUNDAMENTAL RESULTS ON FUZZY CALCULUS

In this paper, we study fuzzy calculus in two main branches differential and integral.  Some rules for finding limit and $gH$-derivative of $gH$-difference, constant multiple of two fuzzy-valued functions are obtained and we also present fuzzy chain rule for calculating  $gH$-derivative of a composite function.  Two techniques namely,  Leibniz's rule and integration by parts are introduced for ...

متن کامل

Accurate Prediction of Thermodynamic Properties of Alcoholes Ketones and Ethers by MCORGC Eos

This paper presents the ability of a new group contribution equation of state in the prediction of thermodynamic properties of alcohols, ketones and ethers. This equation of state, called MCORGC, is based on the Chain-Of-Rotators Group Contribution equation considering a NRTL type local composition mixing rule. The group parameters required to predict the thermodynamic properties of the oxygena...

متن کامل

A Preferred Definition of Conditional Rényi Entropy

The Rényi entropy is a generalization of Shannon entropy to a one-parameter family of entropies. Tsallis entropy too is a generalization of Shannon entropy. The measure for Tsallis entropy is non-logarithmic. After the introduction of Shannon entropy , the conditional Shannon entropy was derived and its properties became known. Also, for Tsallis entropy, the conditional entropy was introduced a...

متن کامل

A New Mixing Rule for Mixtures of Hard Spheres

A mixing rule for the mixtures of hard-spheres is presented which can be reduced to the standard van der Waals mixing rule at low densities. The effectiveness of the mixing rule for the size and energy parameters of lennard-Jones fluid are examined by combining them with an equation of state to calculate thermodynamic properties. The results of calculation are compared with the molecular dy...

متن کامل

A Novel Method for Selecting the Supplier Based on Association Rule Mining

One of important problems in supply chains management is supplier selection. In a company, there are massive data from various departments so that extracting knowledge from the company’s data is too complicated. Many researchers have solved this problem by some methods like fuzzy set theory, goal programming, multi objective programming, the liner programming, mixed integer programming, analyti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1990